Merge pull request #2602 from cgwalters/fix-docs-ci
authorColin Walters <walters@verbum.org>
Mon, 9 May 2022 19:00:00 +0000 (15:00 -0400)
committerGitHub <noreply@github.com>
Mon, 9 May 2022 19:00:00 +0000 (15:00 -0400)
ci: Work around GH actions `container:` + git + security bug


Trivial merge